Merge "Revert "Default installations to using RemexHtml for tidying""

diff --combined RELEASE-NOTES-1.31
index 3a7102a,23afa4f..029eea5
--- 1/RELEASE-NOTES-1.31
--- 2/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@@ -31,10 -31,6 +31,6 @@@ production
  * (T188472) The 'comma' value for $wgArticleCountMethod is no longer supported for
    performance reasons, and installations with this setting will now work as if it
    was configured with 'any'.
- * (T185753) MediaWiki now defaults to using RemexHtml to tidy up user input, rather than
-   being off by default. If you wish to disable HTML tidying entirely, set $wgTidyConfig
-   to null; if you wish to use the old, deprecated Tidy external binary, both
-   set $wgTidyConfig to null and also set $wgUseTidy to true.
  * $wgLogAutopatrol now defaults to false instead of true.
  
  === New features in 1.31 ===
@@@ -335,7 -331,6 +331,7 @@@ changes to languages because of Phabric
    can use MediaWikiTitleCodec::getTitleInvalidRegex() instead.
  * HTMLForm & VFormHTMLForm::isVForm(), deprecated in 1.25, have been removed.
  * The ProfileSection class, deprecated in 1.25 and unused, has been removed.
 +* Wikimedia\Rdbms\SavepointPostgres is deprecated.
  
  == Compatibility ==
  MediaWiki 1.31 requires PHP 5.5.9 or later. Although HHVM 3.18.5 or later is supported,